#include "options.h"

const bool debug =
#ifndef NDEBUG
	true
#else
	false
#endif
;

std::ostream *PLOG = new std::ofstream("out.txt");

/// set to true for synchronization and multithread usage
const bool sync = false;
